MGI:5427478 http://identifiers.org/mgd/MGI:5427478 c.548GT<KI> targeted mutation 3.1, Jie Shen Humanized sequence Psen1<tm3.1Shn>